... Great. Then, you translate that contrapositive into Ks -> Jr. ... - you've taken a contrapositive (no change in meaning), ... and then translated the contrapositive (still no change in ... have a single directional conditional statement that triggers on ...