  It should be noted that the proof theory of Aristotle requires that all predicates in demonstrations be either per se1 or per se2. What is neither per se1 nor per se2 is accidental. Hence, per se4 (or per se5 if it is a separate notion), and per se accidens should be reducible to these notions in any case.