Comment by ozim

The fun part is that specs already are non-deterministic.

If you spend time to write out requirements in English in a way that cannot be misinterpreted in any way you end up with programming language.