Categorical Syllogism (Allotted Portion of M. G.)