Depend on axiom and axiom-optimizer