Lockean_proviso