complementary predicates all_equal and mutually_unequal