Stacey and her assistant proofs