Semigroup_action loading ...