Dedekind - Ontify