Theoret Family Proofs