Detta axiom är fullkomligt santoch