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