(* hypothesis, a list of arguments for the new applications and the index of *)
(* the last new META introduced. The nth argument in the list of arguments is *)
(* just the nth new META. *)
(* hypothesis, a list of arguments for the new applications and the index of *)
(* the last new META introduced. The nth argument in the list of arguments is *)
(* just the nth new META. *)