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