3.2. Checking procedure a0c0