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