Detta ar ett axiom.