And let's see, we have another dx dt here. We're going to try to solve for that. We know what y is. y is equal to 15. We know what dy dt is. dy dt, if we make the convention since y is decreasing, we can say it's negative 20. So we know what this is.