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