Improve the `c=a+b` example