We show the admissibility for $\mathsf{BCI}$ of a rule form of the characteristic implicational axiom of abelian logic, this rule taking us from $(\alpha \to \beta )\to \beta$ to $\alpha$. This is done in Section 8, with surrounding sections exploring the admissibility and derivability of various related rules in several extensions of $\mathsf{BCI}$.