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