Countable choice

Summary