/** Semigroup is half-standing */