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