 And that's, I think, one of the issues that has been raised repeatedly. I don't want to get too far into the weeds on American domestic politics, but I do want to ask you the following question. At the most general level, Republicans and Democrats right now seem to have slightly different views about NATO.