L Family Proofs