return specification