====== Dedekind ======