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