Renamed specification