public override String getJustification() { return "Assert fact " + fact.ToString() + ", " + bindings; } // END-ProofStep