halting-problem public under computational-problem 5 List Picture As a command %3 n0 halting-problem n1 computational-problem n1->n0