  In the original example, described by Lewis, the sentence “There is one cloud in the sky” is determinately true. None of the sentences “o1 is a cloud”, “o2 is a cloud” and so on are determinately true. So a precisification can make each of these either true or false. But, if it is to preserve the fact that “There is one cloud in the sky” is determinately true, it must make exactly one of those sentences true. McGee and McLaughlin suggest that this combination of constraints lets us preserve what is plausible about M2, without accepting that it is true. The term ‘cloud’ is vague; there is no fact of the matter as to whether its extension includes o1 or o2 or o3 or …. If there were such a fact, there would have to be something that made it the case that it included oj and not ok, and as M3 correctly points out, no such facts exist. But this is consistent with saying that its extension does contain exactly one of the oi. The beauty of the supervaluationist solution is that it lets us hold these seemingly contradictory positions simultaneously. We also get to capture some of the plausibility of S2 - it is consistent with the supervaluational position to say that anything similar to something that is determinately a paradigmatic cloud is a cloud.