 You put Michigan back towards becoming blue. You take that away. And you actually put North Carolina, which is now seen as a red state for President Trump, you put that back in place for Democrats as well. So those would both be politically pretty smart choices. The question is, this is going to be Joe Biden's decision to make.