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