Dedekind-finite loading ...