Förut hade det warit ettaxiom