tydligen denna regel som ett axiom.