 As mentioned in  Section 1,  the present entry focuses on the Lorenzen and Lorenz tradition of dialogical logic (tradition 1). It may however be of use to outline the general ideas of the Built-In Opponent (BIO) conception of deduction, even though Catarina Dutilh Novaes stresses in her work that this approach is distinct from the Lorenzen and Lorenz dialogical tradition (e.g., Dutilh Novaes 2015: 600; 2020: 37; Dutilh Novaes &amp; French 2018: 135).