Gabe Proofs