Added declaration axiom.