dedef?