Implication Details

Assumptions: normal, self-dual

Conclusions: conormal

Reason: This holds by self-duality.