Thanks for the clarification! It's been a while since I've looked at Turing completeness.