< [[nlab:Sandbox]] A third weak countable choice [[!redirects Sandbox > history]]