defs