3.2.2.2. The test requirements are fulfilled if: a0c0