Negating the antecedent of a conditional necessarily negates the entire conditional.