[math-fun] The logician in hell