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