 The analysis by Beckers and Vennekens (2018) is inferential in spirit, but not explicitly inferential in the sense that they define a logical inference system with structural equations. Bochman (2018) goes a step further in this respect. His analysis is centred on what computer scientists call a production inference relation. This inference relation is characterized by certain metalogical axioms, such as Strengthening (of the antecedent), Weakening (of the consequent), Cut, and Or. To get some understanding of a production inference relation, it suffices to know that it can be reduced to a set of rules