SMS dit: Aristotle and logical theory /