User blog comment:LittlePeng9/ITTM galore/@comment-10429372-20140317195302

How does the ω2 machine work? I'm afraid I don't understand proving halting time in full.