 Al-Fārābī quite often uses the derived causative noun taṣdīq, which has a range of meanings between “verification” (i.e., gaining certainty that a thing is true) and “assent” (i.e., treating a thing as true). Al-Fārābī expounds this distinction at [Demonstration] 20.4–21.12. He also points to the range of meanings of taṣdīq at [Attainment] 90.6f: it can occur “either through certain demonstration or through persuasion”. Presumably the certain demonstration brings about verification and the persuasion brings about assent.