Dedekind-complete loading ...