Pretty sure I can get close to mapping that to solving the halting problem