test case (idem as if)