Re: [math-fun] Draft of essay about two proofs of a rectangle tiling theorem