Just to finish up here—I don't have much time—you mentioned that the PRC is by far the biggest threat, and this is why we're studying it specifically. Can you perhaps let us know what other countries are of concern? Is Russia? Who is active in this space?
On November 22nd, 2023. See this statement in context.