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