BTW my intuition say turing completness require that there are many ways to do it, for at least some values of "it", but I can't proove it.