Implication Details

Assumptions: finite powers

Conclusions: binary powers, terminal object

Reason: This is trivial.