Added semigroups, nat inequalities