let user_axioms = Hashtbl.create 131