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