Implication Details

Assumptions: essentially finite

Conclusions: essentially countable

Reason: This is trivial.