taga sådant för ett axiom.