Implication Details

Assumptions: left exact

Conclusions: finite-product-preserving, terminal-object-preserving

Reason: Both finite products and terminal objects are special cases of finite limits.