Jace & Kip Proofs