Well that is not how I reed it, but:
Every final state has an unique prompt.
You could have several final states have the same unique prompt.
They explicitly claim that the function is injective, that is, that each unique input produces a unique output.