In Hume, objects of knowledge are divided into matters of fact (roughly, empirical things known by means of impressions) and relations of ideas. The contrast, also called Hume’s fork, is a version of the a priori/a posteriori distinction, but reflects the 17th- and early 18th-century belief that the a priori is established by chains of intuitive comparison of ideas. See also demonstration, relations of ideas.