A => B is equivalent to ~B => ~A