Jace’s Proofs