Sure, but rings off to the ear: this 2 year old paper saying it proved a Turing machine could say if a Turing machine could enter infinite loop given a very particular problem class could possibly be big news, earth-shattering news, I need someone else to tell me if bounds checking is involved. thank God it made it to the front page, I submitted it so I could get someone else to tell me