definitions
