And, secondly, we can know the truth, and so may be certain in propositions, which affirm something of another, which is a necessary consequence of its precise complex idea, but not contained in it: as that, the external angle of all triangles is bigger than either of the opposite internal angles.