 In the case of hypothetical propositions, contradiction is determined only with respect to the main quantifier of the conditional or the disjunction and does not affect the component statements. In other words, it should not be confused with another relation involving negation, namely mutual implication (talāzum). The contradictory of a conditional a-proposition is a conditional o-proposition with the same antecedent and consequent and the contradictory of a conditional e-proposition is a conditional i-proposition with the same antecedent and consequent. The same applies to the case of disjunctions.