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