3.2.4.2. The test requirements are fulfilled if: a0c0