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