rwallace comments on Complexity and halting