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