Comparing #555 (version 1) and #556 (version 2)

Yes, and I can accept that the brain is a computer.  ↵
↵
Therefore,↵
↵
But, we might make a number of subsequent moves.
 12 unchanged lines collapsed