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