and(all(r, and(v, v)), not(all(r, and(v, v)))