Comment by jonfw

It is not obvious to me that determinism is a requirement for an abstraction