Semigroup_with_three_elements loading ...