User blog comment:P進大好きbot/List of common mistakes on formal logic appearing in googology/@comment-36540075-20190925180927/@comment-35392788-20190926082813

it is