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