Renamed: inf -> min, sup -> max.