OK, although that is not relevant to the arguments he is making, I think. (Although I suppose it is still something to say, perhaps? But I have not seen that elsewhere anyways so do not know if it is true or not, but anyways it is irrelevant is what I am saying.)