zh:discussion:syllogism