 Indeed, McGee shows that these conditions can be met within a theory of both truth and definite truth, where truth meets appropriate forms of capture and release, and also where a formal statement of bivalence for truth comes out definitely true. McGee thus provides a theory which has strongly self-applicative truth and definite truth, within a classical setting.