 Lewis has three different accounts of “if”: he follows Jackson in claiming that the “if” of indicative conditionals is the truth-functional “if”, with a special rule of assertability (see Lewis 1986 pp. 152–6); there is his famous account of the “if” of counterfactual conditionals (Lewis 1973); and there is this use of “if” as a restrictor. 