 The example shows that if we want to take this kind of everyday reasoning into account, we need to be able to speak not only about the future, but also about what would be the future at any counterfactual moment. As mentioned above this is formally done in terms of the TRL-function. But what are the constraints on this function? Belnap and Green have argued that: