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