Introduction To A Theory of Locks