Now I find it

I was getting set to write a post about my successful puzzle proofs, when I discovered that the people at Regents Prep already have it done. I left more pieces out than their example, making students fill in blanks in their proof, but they do seem to like the training wheels. Now I just need to let them ride the proof-cycle on their own.