K Family proofs