Implication Details

Assumptions: complete

Conclusions: cofiltered limits, connected limits, finitely complete, wide pullbacks

Reason: This is trivial.