sa:discussion:syllogism