Thread:Crabwhale/@comment-35403906-20181024103647/@comment-35403906-20181024110812

I suppose so. The thread would be named after him if it had a name. And I hear he boxes actual paradoxes for fun, so maybe...