Another simple test where the test condition is not a binary relation