K Family Proof