Thank you, but what I'm concerned with is the logical justification of his argument. Particularly the part where, as I described, he goes from making the argument about a particular case that leads to a contradiction, to saying that all such cases will cause that contradiction. I may be missing...