Comment by bluegatty

No - perfect determinism is absolutely not required.

It's entirely the nature of the abstraction.

You want it to work as expected, it does not have to produce the same thing each time.