User talk:Alemagno12/Analysis/SAN vs TON vs My Psi Function

C(1,1) = C(1,C(0,0)) is not a valid term, because a valid term C(a,C(b,c)) requires a ≤ b. &#123;hyp/^,cos&#125; (talk) 00:24, May 6, 2017 (UTC)