 Richard Angell in his seminal paper on connexive logic (1962) aimed at developing a logic of subjunctive, counterfactual conditionals in which what he called a ‘principle of subjunctive contrariety,’ ∼((A → B) ∧ (A → ~B)), is provable. His proof system, PA1, contains BT as an axiom. Also Kapsner and Omori (2017) suggest that a connexive implication is suitable for formalizing counterfactual conditionals, whereas Cantwell (2008), for example, suggested a system of connexive logic to formalize indicative natural language conditionals. According to McCall (1975, p. 451), “[o]ne of the most natural interpretations of connexive implication is as a species of physical or ‘causal’ implication,” and in McCall (2014) he argues that “[t]he logic of causal and subjunctive conditionals is … connexive, since ‘If X is dropped, it will hit the floor’ contradicts ‘If X is dropped, it will not hit the floor’.” Boethius’ Thesis BT indeed appears on a list of principles every “precausal” connective should satisfy, see Urchs 1994. McCall (2012, p. 437), however, concedes that “causal logic is still very much an ongoing project, and no agreed-on formulation of it has yet been achieved.” Moreover, the characteristic connexive principles are valid for the analysis of conditionals, generics, and disposition statements presented in van Rooij and Schulz 2019a, 2019b.