Semigroup_with_involution loading ...