2.3. Verification a0c0