code: @Override
    public Assertion addQuotedIsa(KbCollection collection, Context context)
            throws KbTypeException, CreateException {
      return wrapped().addQuotedIsa(collection, context);
    }
docs: /*
  @Override
  public Fact addComment(String comment, String ctx) throws KbTypeException, CreateException {
  return wrapped().addComment(comment, ctx);
  }