Axiom Estimating