/ Dedekind_4