Assumptions: thin
Conclusions: binary copowers
This implication has been dualized from this implication.