Re: [math-fun] Novel ways to present proofs