public override String getJustification() { return "Contrapositive: " + contrapositiveOf.getProofStep().getStepNumber(); } // END-ProofStep