Well, if the “expects” operator starts acting like a “proves” operator, that sounds like Lob’s theorem.
Well, if the “expects” operator starts acting like a “proves” operator, that sounds like Lob’s theorem.