Kaj_Sotala comments on Argument, intuition, and recursion