Hi list,
there's something odd about substitution:

Suppose you have

r=c+a+b
and
x=a+b

then substituting x in the 1st equation is impossible; whereas it
works if a+b appears first.

I guess it has something to do with '+' being a binary operation-- or
is there another reason?

Regards,
Thomas