Comment by anhner

yet some abstractions are more deterministic than others