5.2. Verification a0c0