Delete dfn