defs to defs