 Though truth may satisfy the formal property of bivalence, it is crucial to McGee’s approach that definite truth is an open-ended notion, which may be strengthened (formally, by strengthening a partially interpreted language). Thus, definite truth meets weaker forms of capture and release than truth itself. (Some instances of \(\Def(\left\ulcorner A\right\urcorner) \rightarrow A\) fail to be definitely true, according to McGee.) Furthermore, McGee suggests that this behavior of truth and definite truth makes truth a vague predicate. It remains disputed whether McGee’s theory avoids the kind of revenge problems that plague other Kripkean approaches.