 Furthermore, this type is not arranged in figures because disjuncts are symmetrical (mutakāfiʾ), unlike the antecedent and the consequent of a conditional, which also implies that there is no distinction between major and minor premise (all permutations are equivalent, as they are not sensitive to order).