TAG: Formalización