what a great way to introduce a student to proofs!!!