4. Definitions a0c0