Text this: Proof theory of Abelian connexive logics.