 Like most Medieval Aristotelians, Albalag understands the ultimate goal of man in terms of intellectual perfection (Tiqqun preface: 2–3, n.30: 42; cf. Maimonides, Guide III:54; Farabi, Selected Aphorisms: 61; Averroes, Epistle on the Possibility of Conjunction: 103). To fulfill this goal one has to attain knowledge of existents in a manner “that dispels doubt” (Tiqqun preface: 3). The formula of “dispelling doubt” points to the conception of certainty (yaqīn), which is defined in the Arab Aristotelian tradition as a cognitive state in which the cognizer acquiesces that what she perceived is necessarily true and cannot be otherwise (see Black 2006: 15–25). In line with this tradition, Albalag specifies the logical tool of demonstration as the means for fulfilling the criterion of dispelling doubt (i.e., attaining certainty).