Gabe's Proofs