Petrus Thomae's De Distinc­tione Predicamentorum (With A Working Edition)