Emmy_Noether loading ...