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