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