Note
l(($i) a[i] == v)
l(("i) a[i] != v)
lThe above two conditions are complementary; one or the other always holds, but not both.
lThis is a variant of DeMorganŐs Law.