gjm comments on The halting problem is overstated