 Stephen, I wonder, do you agree with that interpretation of when military action might prompt some type of activity from either of these countries? And also, is this what Russia gets from this deal? It gets perhaps labor, perhaps soldiers and other things from North Korea. And if that's the case, what does North Korea get?