Sección: formalización