[pengstrom]

Good use of the contrapositive rule. If A => B then also ¬B => A¬