Add an example of an infinite cancellative semigroup that isnt a group (duhhhhhh)