SMS: Institutiones logicae et ontologicae