 The acquaintance theorist is in a position to offer a different gloss on the traditional distinction between  a priori knowledge  of necessary truth and a posteriori or empirical knowledge of contingent truth. On the classical acquaintance theory, knowledge of both truths has the same source—acquaintance with facts. The distinction lies with the objects of acquaintance. When I am acquainted with my being in pain, that can give me knowledge of the contingent truth that I’m in pain. When I am acquainted with the property of being red, the property of being yellow and the relation of being darker than holding between them, that can give me knowledge of the necessary truth that red is darker than yellow. When I am acquainted with being triangular and being trilateral and the relation of inclusion holding between them, that can give me knowledge of the necessary truth that triangles are trilateral. When I am acquainted with being a circle, and having corners, and the relation of exclusion between them, that can give me knowledge of the necessary truth that circles have no corners. For similar views of the nature of thought and the a priori, see Bealer (1982: Ch. 8, especially 187–90) and BonJour (1998: Ch. 6). 