In one lesson, Jy says, the contapositive of "If Tom plays then Jerone and Simmi play too", is " If Jerone and Simmi do not play, then Tom won't play". However, it can be that J and S can play, even though T does not. If it would say "Only if Tom, then..", ...