 McCall (2014) presents a cut-free sequent calculus for a system of connexive logic that he calls “connexive Gentzen.” The calculus has the non-standard feature of using pairs of axioms that are not logical truths. An annotation with subscripts is used to enable the elimination of dependencies on such non-standard axioms in the course of a derivation. The resulting system differs from CC1 in that p → (p ∧ p) and (p ∧ p)→ p are provable, and it is shown to be sound with respect to certain four-valued matrices. Sound and complete cut-free sequent calculi for certain constructive and modal connexive logics have been presented for the first time in Wansing 2008 and Kamide and Wansing 2011.