Implication Details

Assumptions: terminal object, thin

Conclusions: powers

Reason: This is because for non-empty set II the power XIX^I is just XX.