Yeah, exactly! You can see why the dome is the famous one, even though it’s the most recent. Previously there were models to finitize whatever term one was worr

Yeah, exactly! You can see why the dome is the famous one, even though it’s the most recent. Previously there were models to finitize whatever term one was worried about specifically, but they all had an infinity somewhere. Even since Cantor, that makes philosophers antsy. The dome is analogous to a loophole-free Bell test— most people already accept the conclusion, so it’s not a surprising result, but having it in one simple argument closes the door to a lot of nitpicking.