Detta axiom är liia gammalti