So, "I don't have B"? But the system is mutable, and we can easily see that the proposition is true, and then (possibly) false. Then you have to say "I will never have B". But that's not necessarily true! You would need either an oracle, some sort of iterative evaluation, or a perspective from which the entire interaction is a single static object, something like a tree of outcomes, which you allow to be used in the evaluation (e.g. one possible implementation of an oracle). I find all of this highly unsatisfying.