@jackiehluo I really need to finish my book. I've thought about this a lot since I wrote it. I think we ALL mistake programming languages, which are software, for the computer itself. Languages are position papers on what matters in computation.