Dedekind-infinite_set loading ...