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