Implication Details

Assumptions: coequalizers, self-dual

Conclusions: equalizers

Reason: This holds by self-duality.