Richard_Dedekind loading ...