Bas van Fraassen in [4] has recently tried to use modal logic to solve the measurement problem of quantum mechanics. His model is based on a method of expressing quantum states developed by Hugh Everett [1] called the “relative state formulation.” Unfortunately, Everett's mathematics cannot be generalized as van Fraassen requires. The difficulty itself is elementary enough. But a revision of van Fraassen's postulates (such as the one he adopted on p. 341 after he had been told of the problem) can save the mathematics only on pain of making the whole study irrelevant to the physics. I shall explain the dilemma in this note. In a later paper [5], van Fraassen avoids this dilemma by developing an abstract modal interpretation which does not rely on any expression for quantum states.