 One may wonder whether this striking result is a genuine convergence with standard logic. Is the supervaluationist characterizing vague statements as propositions? Or is he merely pointing out that certain non-propositions have a structure isomorphic to logical theorems? (Some electrical circuits are isomorphic to tautologies but this does not make the circuits tautologies.) Kit Fine (1975, 282), and especially David Lewis (1982), characterize vagueness as hyper-ambiguity. Instead of there being one vague concept, there are many precise concepts that closely resemble each other. ‘Child’ can mean a human being at most one day old or mean a human being at most two days old or mean a human being at most three days old …. Thus the logic of vagueness is a logic for equivocators. Lewis’ idea is that ambiguous statements are true when they come out true under all disambiguations. But logicians normally require that a statement be disambiguated before logic is applied. The mere fact that an ambiguous statement comes out true under all its disambiguations does not show that the statement itself is true. Sentences which are actually disambiguated may have truth-values. But the best that can be said of those that merely could be disambiguated is that they would have had a truth-value had they been disambiguated (Tye 1989).