... /out) example. To find the contrapositive, flip and negate. Here's ... side). But to get the contrapositive, you also have to negate ... condition, but the mere presence of the necessary condition doesn't ... your In/Out example, the contrapositive of X in -> Y in ...