Lockean_proviso loading ...