Implication Details

Assumptions: Barr-exact, self-dual

Conclusions: Barr-coexact

Reason: This holds by self-duality.