Implication Details

Assumptions: unital

Conclusions: finitely complete, pointed

Reason: This holds by definition.