formalizarlas