Countable choice