Off-topic, but this discussion is reminding me of this (which some of you might enjoy): https://www.cs.princeton.edu/~appel/papers/conteq.pdf https://www.cs.pri

Off-topic, but this discussion is reminding me of this (which some of you might enjoy): https://www.cs.princeton.edu/~appel/papers/conteq.pdf https://www.cs.princeton.edu/~appel/papers/conteq.pdf