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