add axiom_ord to remove erroneous recursion