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