more phistory axioms.