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