+semigroups +statevar +tagged doc hscolour profile
