and(all(r, v), not(all(r, v))