SemigroupTape
CumulativeLayer
semigroup
SemigroupTape