Häraf följde sorn ett axiom,