don't test the halting problem anymore.