  In Prior Analytics I.2, 25a.1–25 we get the additional claims that the E and I propositions convert simply. Putting this together with the doctrine of De Interpretatione we have the full  [SQUARE].[4]