LakemanProofs