let
axiom_table =
Hashtbl
.create 7