This part of the lesson should be moved earlier in the conditional logic curriculum, before students learn the contrapositive, to avoid confusion. Many people are mixing up negation with the contrapositive.

Disney: To open CS2 cases, you need to own the game. To own the game, you must either be gifted it or purchase it. Ohnepixel has spent over 350,000 dollars on CS2 cases (gold gold gold), but he has never been gifted anything. Therefore, he must have purchased the game.