Added monoid laws