some phistory axioms