/ Dedekind_3