Detta är ett axiom,