And let's see, what if we divide both sides of this equation by square root of two over two? Well, what's that going to give us? Well, then, square root of two over two divided by square root of two over, square root of two over two divided by square root of two over two is gonna be one. Square root of two over two divided by square root of two over two is gonna be one. And then zero divided by square root of two over two is just still going to be zero. And so this whole thing simplifies to five times one, which is just five, minus the derivative of y with respect to t is equal to zero. And so there you have it.