Assumptions: cartesian closed, countable copowers
Conclusions: countable powers
Reason: We can recycle this proof.