counting axiom generators in justifications