Talk:Miner Enumeration/@comment-34422464-20181023002329/@comment-34422464-20181023002917

I'm assuming this is the first cardinal with enough consistency strength to cause a contradiction.