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