3.5.6.2. The requirements of the test are fulfilled if the system: a0c0