Taylor Dupuy
DupuyTaylor
Ok since @littmath is currently obsessed... I'm going to tell a story about the cube root of true. So there a well-known trick in propositional logic called arithmetization. Here is
Read more