Stav dette: Institutiones logicae :