Examinando: Formalización