 The Creating Subject, introduced in Section 2.2, can generate choice sequences, which are some of the most important and complicated mathematical entities of Brouwer’s Intuitionism. Several philosophers and mathematicians have tried to develop the theory of the Creating Subject further mathematically as well as philosophically. 