la:syllogism