let axiom_table = Hashtbl.create 7