User:Benberg11/Lockean proviso/Bibliography