Implication Details

Assumptions: filtered colimits, pullbacks, reflexive coequalizers

Conclusions: sifted colimits

Reason: See Cor. 5.2 in Chen's paper.