Dedekind different and type sequence.