No more need for the Arithmetic monoid