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