Implication Details

Assumptions: self-dual, unital

Conclusions: counital

Proof: This holds by self-duality.