Renamed definitions