public static Skolem createSkolem(Surrogate type, Symbol name) {
    { Skolem skolem = Skolem.newSkolem();

      if (((Cons)(Logic.$FREESKOLEMS$.get())) != null) {
        Native.setSpecial(Logic.$FREESKOLEMS$, Cons.cons(skolem, ((Cons)(Logic.$FREESKOLEMS$.get()))));
      }
      Skolem.helpCreateSkolem(skolem, type, name, true);
      return (skolem);
    }
  }