Reply 2: The penumbral connections we find for most words are generated by the inferential role provided by the meaning of the terms. It is because the inference from “This pile of sand is a heap”, and “That pile of sand is slightly larger than this one, and arranged roughly the same way,” to “That pile of sand is a heap” is generally acceptable that precisifications which make the premises true and the conclusions false are inadmissible. (We have to restrict this inferential rule to the case where ‘this’ and ‘that’ are ordinary demonstratives, and not used to pick out arbitrary fusions of grains, or else we get bizarre results for reasons that should be familiar by this point in the story.) And it isn't too hard to specify the inferential rule here. The inference from “oj is a cloud” and “oj and ok massively overlap” to “ok is not a cloud” is just as acceptable as the above inference involving heaps. Indeed, it is part of the meaning of ‘cloud’ that this inference is acceptable. (Much of this reply is drawn from the discussion of ‘maximal’ predicates in Sider 2001 and 2003, though since Sider is no supervaluationist, he would not entirely endorse this way of putting things.)