Implication Details

Assumptions: locally strongly finitely presentable

Conclusions: cocomplete, generalized variety

This is an equivalence.

Reason: This is trivial.