a+b stores x=a, y=b: True    a+a stores x=a, y=a: True
