Worked on the Turing-completeness proof. WIP