Just for the record. Is Russia a foreign adversary of the USA as-of today?