Definitions, examples and user guide