Locke family Proofs