That's all the time we have for today.
Thanks for joining us.
Our colleague Zach Schultz will be back in a couple of weeks.
This has been Inside Wisconsin Politics.
Be sure to follow us on pbswisconsin.org, wpr.org, YouTube, or wherever you get your podcasts.