[math-fun] Novel ways to present proofs