 McGee relies on two notions: truth and definite truth. Definite truth is a form of the idea we glossed as determinateness. But, McGee describes this idea using some very sophisticated logical techniques. We will mention them briefly, for those familiar with the technical background. Formally, for McGee, definite truth is identified with provability in a partially interpreted language, using an extension of classical logic which takes in facts about the partial interpretation known as \(\mathcal{A}\)-logic. It is thus different from the grounding notion we just discussed. McGee treats definitely as a predicate, on par with the truth predicate, and not as an operator on sentences as some developments do. With the right notion of definite truth, McGee shows that a partially interpreted language containing its own truth predicate can meet restricted forms of capture and release put in terms of definite truth. Where \(\Def\) is the definiteness predicate, McGee show how to link truth and definite truth, by showing how to validate: