public override String getJustification() { return "Current Goal " + currentGoal.getAtomicSentence().ToString() + ", " + bindings; } // END-ProofStep