ausägs som ett axiom.