Added Turing Completeness proof