... Now, we don't know how to make that computer. We don't have a theoretical model for Turing ...
... to decide whether your computer is running the software that you want it to run. Now, ...