Bohn Extended Family Session Proofs