and(some(r, u), not(some(r, u))