and(implies(w, u), not(implies(w, u)))