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