Implication Details

Assumptions: countable

Conclusions: essentially countable

Reason: This is trivial.