Claim: If a category satisfies CSP and is self-dual, then it satisfies CIP.
Proof: This holds by self-duality.