cousin_it comments on From halting oracles to modal logic