p'9981(axiom