And they did a number of simulations in this about, well, what if it was a different Democrat running against Donald Trump this year?