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