https://monodes.com/predaelli/2020/10/17/halting-problem/