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