 We laid out some of those complications, which actually makes sense. And so there's about a 2% chance that this gets messed up by the Packers. Community-owned Green Bay Packers. You can be a stockholder for the Green Bay Packers every so often. They have a stock option you can buy. So anyway.