By propositions about relations of ideas he means such propositions as that twice two are four, or that black differs from white; and it is, I think, easy enough to see, though by no means easy to define, what kind of propositions it is that he means to include in this division.