Implication Details

Assumptions: essentially finite, pullbacks

Conclusions: wide pullbacks

Reason: Each slice category has finite products and is essentially finite, hence has all products.