plus

SplitSemigroup

prune

Trainer