Implication Details

Assumptions: essentially countable

Conclusions: essentially small

Reason: This is trivial.