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