It is true for the zeros but for the empty strings, I think it is what we want, isn't it ?