  Penumbral connections also let us explain some other puzzling situations. Imagine I point cloudwards and say, “That is a cloud”. Intuitively, what I have said is true, even though ‘cloud’ is vague, and so is my demonstrative ‘that’. (To see this, note that there's no determinate answer as to which of the oi it picks out.) On different precisifications, ‘that’ picks out different oi. But on every precisification it picks out the oi that is in the extension of ‘cloud’, so “That is a cloud” comes out true as desired. Similarly, if I named the cloud ‘Edgar’, then a similar trick lets it be true that “Edgar” is vague, while “Edgar is a cloud” is determinately true. So the supervaluationist solution lets us preserve many of the intuitions about the original case, including the intuitions that seemed to underwrite M2, without conceding that there are millions of clouds. But there are a few objections to this package.