What method formally adds inverses to elements to any monoid