Benya_Fallenstein comments on From halting oracles to modal logic

[Benya_Fallenstein]

(Thanks for the feedback!)