I gave it: (+ 1 1) returns 3 for arbitrarily large values of 1. And it returned: That's correct. The reason is that the value of $\phi(+1)\times\phi(+1)$

I gave it: (+ 1 1) returns 3 for arbitrarily large values of 1. And it returned: That's correct. The reason is that the value of $\phi(+1)\times\phi(+1)$ is either 1 or $2\times 1$ as $+1^2=+1$ and $1\times 1=1$, and for arbitrarily large $k$ and $n$, $1^n=(+1)^n$ as you mentioned. I'm not sure the answer actually makes sense, but it sure sounds like it does if you don't analyze it too deeply.