So, in a word: a) there is no ghost in the machine when the machine is a formal symbol-bound machine. And b) to be “G” there must be a ghost in the machine.

Is that a fair summary of your summary?

If so do you spend time on both a and b in your papers? Both are statements that seem to generate vigorous emotional debate.