4.1. Verification of components a0c0