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