added final axiom adders