 Many more metatheoretical results, some of them quite sophisticated, are proved in Prior Analytics I.45 and in Prior Analytics II. As noted below, some of Aristotle’s metatheoretical results are appealed to in the epistemological arguments of the Posterior Analytics.