hi:discussion:syllogism