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