 cf. also the modalized versions of AT′ and BT in Unterhuber 2016. Lenzen remarks that LEIB1 and LEIB2 are theorems of almost all systems of normal modal logic and therefore do not lead to any non-classical system of connexive logic. A similar observation is made in Kapsner 2019. As to Boethius, the question has been raised whether it is adequate to render his term logic as a propositional logic (see Martin 1991, McCall 2012), and Bonevac and Dever (2012, p. 192) refer to Abelard’s First Principle as the most famous thesis attributed to Boethius but note that they fail to find it in Boethius. Irrespective of these exegetical issues, however, the challenge of connexive logic remains, namely to define nontrivial and well-motivated logical systems that validate both Aristotle’s and Boethius’ theses and satisfy non-symmetry of implication. Another question arising from the long history of connexive logic is in which sense the system nowadays called classical logic is indeed classical. A critical discussion of the classicality of classical logic from the point of view of paraconsistent and connexive logic can found in Wansing and Odintsov 2016.