a+c=b?