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