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