 The analysis of inferential relations among hypotheticals includes the mutual implication (talāzum) of (i) conditional statements and (ii) disjunctive statements, as well as (iii) the interaction between the two classes of hypotheticals. Besides its intrinsic interest, such an analysis is often required for the proof validity of hypothetical syllogisms, in addition to standard techniques such as conversion, ecthesis (iftirāḍ), and reductio. The treatment of conditionals is found in Qiyās VII.1, while Qiyās VII.2 is devoted to the analysis of disjunctions and the connection between the two.