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