User blog comment:LittlePeng9/ITTM galore/@comment-5529393-20140318195406/@comment-1605058-20140318201108

"and verified that halt in longer than w^2 steps." This doesn't make much sense for me, did you forgot some word in that sentence? :P