let global_axioms strat = strat.annots.tbl_axioms