I like it. I'm quite out of practice at doing proofs. Maybe these daily puzzles will get me back to peak form.