All I was saying is that the third assertion is a consequence of the first two ones. I could be wrong on this but you both seem to focus on my use of "is" which I used to be semantically consistent with "be". At the end of the day, we all know this is not reference equality, but that's not the point…