3The fact that we are replacing or by a conditional may seem odd, but the more important point is that we have moved the evaluation of the future down to each of the arguments to the or expression.