SMS dit: Categoriae et liber de interpretatione