These test requirements are fulfilled if, a0c0