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