Family proofs