In Counterfactuals, David Lewis noticed that definite descriptions and conditionals display the same kind of non-monotonic behavior. We take his observation literally and suggest that if-clauses are, quite simply, definite descriptions of possible worlds (related ideas are developed in Bittner 2001). We depart from Lewis's analysis, however, in claiming that if-clauses, like Strawsonian definit...