erase toLabeled should be homomorphic
wip: from -->0 to -->n
wip: from -->0 to -->n
wip: from -->0 to -->n
done with simulaiton of --> and -->L (with any n)