[marcosdumay]

Turing completelness does not mean that the execution paths are specified.

Or, in a simpler way, do you know Haskell?