Early days. We can build abstractions that provide deterministic behavior atop seemingly nondeterministic systems. Insodoing you forgo better models, since a better model comes out every few months these tools are quickly forgotten.