 In the statement “Always, if C is B, then H is Z” the words “always, if” are not only meant to cover what is [explicitly] intended (al-murād) [by this proposition], in such a way that it is as if one were to say “Every time at which C is B, H is Z”. Rather, [the words “always, if”] are also meant to cover every state (ḥāl) which may be added to the statement “Every C is B”, in such a way that there is no state (ḥāl) or condition (šarṭ) whatsoever that makes C to be B without making H to be Z, when it is added to [the antecedent “C is B”]. (Qiyās, V.4, 265.1–5)[7]