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