your halting problem is: damn undecidable