Implication Details

Assumptions: accessible, pushouts

Conclusions: well-copowered

Reason: See Thm. 2.49 in Adamek-Rosicky or Prop. 6.1.3 in Makkai-Pare.