Monoid_object loading ...