Implication Details

Assumptions: Barr-coexact, self-dual

Conclusions: Barr-exact

Reason: This holds by self-duality.