 Tellingly, his theory of consequence is presented in the part of the Dialectica dedicated to the topical framework (the book De Locis), which again illustrates the close historical connections between theories of consequence and the Topics. Abelard speaks mostly of ‘inferentia’ rather than ‘consequentia’, as the latter is for him a subspecies of the former. He defines the concept of inferentia as follows: