changes to tree
some monoids