benelliott comments on Complexity and halting