Nu är det ett axiom,