 That said, it does seem like this is likely to be somewhat of a problem for everyone (even the theorist like Lewis who uses the supervaluational machinery only when it is helpful). Sattig himself claims to avoid the problem by making the mountain be a maximal fusion of candidates. But for any plausible mountain, it will be vague and somewhat arbitrary what the boundary is between being a mountain-candidate and not being one. The lower boundaries of mountains are not, in practice, clearly marked. Similarly, there will be some arbitrariness in the boundaries between the admissible and inadmissible precisifications of 'mountain'. We may have to live with some arbitrariness.