Fixed bug in stated axioms calculation.