document defs