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