t it could be deleveraging (0.25x-0.5x based on our math using a range of assumptions around run rate EBITDA less MI in the hands of another owner, TEV/EBIT DA multiple, taxes associated with a hypothetical sale, N0L usage, etc.). We would expect proceeds would largely go to reduce leverage and that any di