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