Sounds like halting problem is no longer a problem?