What happens to the first argument is called inversion; = has to figure out where to put the value. And that could involve some evaluation, e.g. if you said
(= (x y) 10)
Arc would have to evaluate y to figure out where in x to put the 10. So I should probably change the tutorial.
