public override String getJustification() { return "Factor of " + factorOf.getProofStep().getStepNumber(); } // END-ProofStep