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