So this is negative square root of two over two. We're assuming this is in radians. If we're thinking in degrees, this would be a negative 45 degree angle, so this is one of the trig values that it's good to know. And so if you have one, so let's see. Well, actually, let me just rewrite it. So this is going to be equal to one plus square root of two times that is going to be negative two over two. So this is going to be minus one.