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