I have another question for Mr. Ingram. You mentioned many different countries that are potential threats from the nuclear point of view. You didn't mention North Korea.
What is the reason for that? Is there a regime change you see that will lead to less threat from that source?