Primeros pasos para la formalización