SMS: Additiones ad Logicam Conimbricensem;