Definitions