Reformalización en la mira de la congruencia