 tying up the loose ends until we all found out that the decision had been officially made and that Trump would be moving forward with Vance. And of course, Don Jr., it has been critical in this process. Don Jr. was long in the J.D. Vance camp and has been pushing his father to go with Vance from the very beginning, really. And so he is another critical voice in kind of making this decision happen.