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