doc defs