I'm getting confused on how to write contrapositives with conditional sequencing rules on a one dimensional game board.

ex) if H before M then L before p

would the contrapositive of this be

If Not( L before P) then Not (H before M) which on a one dimensional game board would turn into

If P before L then M before H

or would it just be if the sufficient isn't satisfied the rule goes away and there is no contrapositive