Creator of the Multiverse database for custom sets, the Magic Turing machine (proving Magic Turing-complete) and the random Magic card generator.
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 ?