Definitions DOT