 Categorical syllogisms are argument forms consisting of triplets of terms (ḥudūd) arranged in two premises (muqaddamāt) and a conclusion (natīğa or, insofar as it is implicitly contained in or aimed at by the premises, maṭlūb). The two premises share a term with one another and one each with the conclusion, for example, “Every B is C; every A is B; therefore every A is C” (BaC, AaB ⊢ AaC). The term shared by the premises is called middle term (ḥadd awsaṭ). The subject of the conclusion is called minor term (ḥadd aṣġar), the predicate of the conclusion is called major term (ḥadd akbar). The premise that shares with the conclusion the minor term is called minor premise (muqaddama ṣuġrā). The premise that shares with the conclusion the major term is called major premise (muqaddama kubrā).