Implication Details

Assumptions: self-dual, sifted

Conclusions: cosifted

Reason: This holds by self-duality.