6.3.3. Moreover, a0c0