 The debate happened. It's long before, not super long, but long enough before the DNC for the Democrats to make a change. And as you know very well, that is a high decibel conversation behind the scenes among Democrats right now and increasingly out in the open. And it really spilled into the open very much the night of the debate.