discussion:syllogism