basic axiom use incorporated