add = dad ⇒ ad = da.