  In On Freedom of Choice (De libertate arbitrii) Anselm defines freedom of choice as “the power to preserve rectitude of will for its own sake” (DLA 3). He explores the notion of rectitude of will most thoroughly in On Truth (De veritate), so in order to understand the definition of freedom of choice, we must look first at Anselm’s discussion of truth. Truth is a much broader notion for Anselm than for us; he speaks of truth not only in statements and opinions but also in the will, actions, the senses, and even the essences of things. In every case, he argues, truth consists in correctness or “rectitude.” Rectitude, in turn, is understood teleologically; a thing is correct whenever it is or does whatever it ought, or was designed, to be or do. For example, statements are made for the purpose of “signifying that what-is is” (DV 2). A statement therefore is correct (has rectitude) when, and only when, it signifies that what-is is. So Anselm holds a correspondence theory of truth, but it is a somewhat unusual correspondence theory. Statements are true when they correspond to reality, but only because corresponding to reality is what statements are for. That is, statements (like anything else) are true when they do what they were designed to do; and what they were designed to do, as it happens, is to correspond to reality. 