I think it does. In your implementation of `square`, you could use `gensym` to first create a new variable to store x in. Then you would write a second statemen

I think it does. In your implementation of `square`, you could use `gensym` to first create a new variable to store x in. Then you would write a second statement that evaluates to that variable times itself.