Förut hade det varit ettaxiom