 Right. And so they obviously they can declare war, which they did in 1941, December 8th of 1941, when they declared war on Japan. But then I never heard whether they declared the end of the war. So that would be I don't know. Do you know if Congress in 1945 declared an end to the conflict or was that just. I don't I don't know the answer to that. I I.