 It has also been suggested that Boethius was the first to formulate a version of (Co) with respect to consequences (Green-Pedersen 1984). However, on closer inspection, Boethius’ notion of containment is not really used to define or describe the relation between the antecedent and the consequent of a consequence (Bosman 2018). Instead, the Boethian relation of containment in question seems to pertain primarily to metaphysical relations of containment between genus, species and differentiae. For example, an argument based on the topic from genus involves a notion of containment: the genus is taken to contain something that the species is then also inferred to contain. For example, since all mammals are mortal, we can infer that human beings are mortal too: the genus ‘mammal’ contains something, namely mortality, that the species ‘human being’ also contains (Bosman 2018, 235). This metaphysical notion of containment then gives rise to a related semantic notion, which establishes relations of semantic containment between concepts (Bosman 2018). The upshot is thus that Boethius does not seem to have had in mind a relation of containment between antecedent and consequent, but his observations on what the metaphysics of genus and species entails for certain forms of inference may well have been the historical precursor of (Co).