In the same way, it is not necessary that I should ever imagine any triangle: but whenever I want to consider a straight sided shape having only three angles, I must necessarily credit it with properties from which it can be correctly inferred that the sum of its three angles does not exceed that of two right angles, even if I do not at the time realize this.