Wendy and Jonathan Proofs