Kirkpatrick-Wilkey Family Proofs