re-inserted the needed part of section on Dedekind's rule