@KevinLin That makes sense; thank you!

I'm confused as to why we bother with the contrapositive if it doesn't matter which clause we choose and arrive at the same meaning either way