Abelian_monoid loading ...