 Kripke held that the behavior of names in these environments could only be explained if we think of the names as being rigid designators—i.e., as devices that rigidly pick out an individual across possible worlds. Kripke also stressed that this is not really a point about conditional or modal sentences—the same point can be made for simple declarative sentences evaluated in a counterfactual situation. So, for example, take a simple sentence like (12).