As the negation passed by the quantifiers, they changed from \(\forall\) to \(\exists\text{.}\) We then needed to take the negation of an implication, which is equivalent to asserting the if part and not the then part.