That comment was a mistake on my part. The point I was trying to make was a lesser one, and the misunderstanding it gave rise to was much greater, so I should have thought of a completely different angle or just not bothered. Usually I can spot that sort of bug in advance, but a discussion this prolonged and intense fries the brain.