public override String getJustification() { return "Renaming of " + predecessors[0].getStepNumber(); } // END-ProofStep