 Sylvan 1989 refers to BTe as a principle of hyperconnexive logic. The principles BTe and BTe′ are characteristic of the connexive logics developed subsequent to the definition of the connexive logic C and its quantified version QC in Wansing 2005. According to McCall (2012), the converse of BT (the right-to-left direction of BTe) is highly unintuitive in light of what he takes to be counterexamples from English. For a rejoinder see Wansing and Skurt 2018.