Eliminadas las redundancias superficiales