Abstruct: We discuss the argument of the Ki-Linton paper that the set of normal numbers is \Pi^0_3 complete, as well as some related results. We will keep the arguments self-contained and present the necessary background along the way.