00. Definitions