axiom_of_paring