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

Thanks. Also, if a machine halting in ω1CK is impossible, why γ >> ω1CK?