 You mentioned, of course, NATO allies are very concerned about how this election will play out, because if Trump is elected, he's been fairly negative about NATO, and they have to take that into account. Are there ways that the NATO countries are trying to prepare for the possibility that they could lose Biden and have to work with Trump in some way?