Do we know that engine is not Turing-complete for sure?