Indeed, the identity is only required to deal with an empty input.