cousin_it comments on Lucky Omega Problem

[cousin_it]

I think the universal precommitment /​ UDT solution is right, and don’t quite understand what’s weird about it.