 Also significant for the overall development of the concept of consequence is the increasing presence of Aristotelian hylomorphism in logical contexts. While hylomorphism had not been entirely unknown to Latin authors prior to the rediscovery of the remaining Aristotelian texts in the late 12th and 13th centuries, in this period an explosion of applications of Aristotelian metaphysical concepts in other areas occurred, especially in logic (Spruyt 2003). In particular, applications of the form-matter distinction to arguments (specifically, syllogisms) became frequent again, after a hiatus of many centuries since the ancient commentators. Such applications can be found in the only known 12th-century commentary on the Prior Analytics, the Anonymus Aurelianensis III (Ebbesen 1981), in the Dialectica Monacensis (an anonymous text of the early 13th century, edited in De Rijk 1962/7), and in Robert Kilwardby’s commentary on the Prior Analytics (1230s — see (Thom 2007) (Thom 2019)), among other texts. The significance of these applications is that they paved the way for the consolidation of the notion of formal consequence in the 14th century (Dutilh Novaes 2012b), which in turn was to have a huge impact on the rest of the history of logic.