Implication Details

Assumptions: CIP, self-dual

Conclusions: CSP

Reason: This holds by self-duality.