SMS dit: Additiones ad Logicam Conimbricensem;