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