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