And from that, and next to that, we take the derivative of cosine of theta of t with respect to theta, so that's going to be that would be negative sine of theta, so we would have a negative out front so it becomes positive sine of theta as a function of t.