Book 1: Definitions