What is dedekind?