and(not(some(r, v)), not(not(some(r, v)))