changing sup and inf names