https://9pdf.net/document/q7wlrwen-countable-functionals-and-the-analytic-hierarchy.html