Stacey Proofs