Endomorphism_monoid loading ...