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