säkert ett axiom ,att