2.2. Definitions a0c0