Stacia's Proofs