The test requirements are fulfilled if: a0c0