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