Implication Details

Assumptions: complete

Conclusions: connected limits, finitely complete

Reason: This is trivial.