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