Renamed specification (again)