let mk_global_axiom name pred =
  Dlemma (name, true, [], [], unamed pred)