let
user_axioms =
Hashtbl
.create 131