and(some(r, not(w)), not(some(r, not(w)))