  The creating subject argument is, after the earlier introduction of choice sequences and the proof of the bar theorem, a new step in the exploitation of the subjective aspects of intuitionism. There is no principled reason why it should be the last.