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