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