defs ok