 This is disappointing, but at least it’s clear where the extra pieces come from. Demonstrative reasoning gives knowledge with certainty, and in [Certainty] al-Fārābī writes down some necessary and sufficient conditions for certainty. (These “conditions of certainty” are listed by López-Farjeat 2018 and discussed by Black 2006.) The condition that is relevant here is the last one: