K family proofs