Proofs, puzzles, and surprisingly elegant solutions.