McCarthy_Formalism