 Avicenna distinguishes between two types of conditionals: implicative (luzūmī) and coincidental (ittifāqī). While the former express necessary relations of following whereby the consequent follows because or in virtue of the antecedent, the latter have often been thought to express an accidental connection, though it seems plausible that Avicenna might simply mean agreement or coincidence in truth or in being the  case together (maʿiyya).[8]  When a conditional expresses an implication (luzūm), it is called real (ḥaqīqī or ʿalā t-taḥqīq); when it expresses coincidence (ittifāq, muwāfaqa or tawāfuq), it is called unqualified (muṭlaq or ʿalā l-iṭlāq). For a characterization of conditionals see (Karimullah 2014a).