in reply to catching infinite loops

I know I'm pedantic :), but I remember that the halting problem is not solvable.