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