 (38) and (39) quantify over parts of a contextually salient topic situation. The antecedents of the conditionals tell us more about what those parts are. In (38) quantification is over situations exemplifying the proposition expressed by a man saw a donkey, which are all situations that contain a single man and a single donkey. Those situations can then be taken to be resource situations for the definite descriptions the man and the donkey in the consequent of (38). (39) also quantifies over parts of the topic situation that exemplify the antecedent proposition, but as in the case of 37(b), considering all exemplifying situations would violate the Counting Principle, and we therefore need a counting criterion. (39) might then quantify over maximal self-connected situations exemplifying the proposition expressed by snow falls around here. Those situations include complete snowfalls, then, and if it does indeed snow a lot around here whenever it snows, (39) might very well wind up true.