+semigroups +tagged doc hscolour profile test
