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