Larsen Family Proofs