Very fun. I just wished you had called the Theorem a Conjecture, since theorems are proven results. Also could add a cool diagram of the 7 towers path based on Euler's bridges of Konigsburg problem.
I wonder if Bori has considered getting seven ridiculously long ropes.
192884403 wrote:surely one can't say complex conditional passive language is bad grammar ?