6.1. Definitions a0c0