ingången ansågs som ett axiom.