because e.g. if we see z = x * y later, we need d_z = d_x * y + x *_d_y, i.e. both _d_x and x