Fine, so I answered the question without being aware of.
I wouldn't call it solving what you do in the sheet, though. If you have x+1=3 and you are searching x, thats what I would call solving. Therefore the quertion of mine.
BTW, the definition of a2 is still missing the arguments on the RHS, but its never used anyway.