Thank you, Mark. As Mark and Karin highlighted in the comments, HCI Group ended the year on a very positive note. Overall, we grew gross premiums earned by over 40% for the full year while also increasing profitability. The combination of our best-in-class technology and the ongoing impact of reforms in Florida has contributed to this strong outcome. Looking to the future, continuing on our current trajectory and hopefully without the hurricanes, would be very impressive. And in the short term, we intend to do just that. Our new Reciprocal Insurance Company, Tailrow just became operational a few days ago, and we expect it to be an additional driver of growth. But we see an even bigger opportunity. What Karin and Mark's comments highlighted was that our technology has a proven track record, and it's a game changer. The technology currently supports over $1.2 billion of premium across the companies controlled by HCI Group. But HCI Group represents less than 1% of the total homeowners premium in the U.S. And given the increasing frequency and severity of catastrophe losses, we believe there's an opportunity to use our technology to drive a better underwriting result for the other 99% of the market. So to that goal, we have set up a new structure that will consist of 2 distinct operating units. The first unit includes our 4 top-performing CAT insurance companies and our captive reinsurer. Additionally, this unit will include our operations in claims management and real estate. This group has its own dedicated team who will continue to focus on delivering strong underwriting results, creating a positive claims experience for our policyholders and while diligently managing risk and generating opportunistic income from our real estate portfolio. Our second operating unit includes our market-leading technology platform and our insurance management operations. This unit helps empower insurers to develop -- to deliver better underwriting outcomes and optimize operational efficiencies. However, this unit does not include any insurance companies, and therefore, we felt it appropriate at this time to rename the unit from being TypTap Insurance Group to Exzeo Group Inc. Exzeo Group is an independently viable entity with solid profitability strong cash flows, no immediate capital needs and more importantly, no hurricane volatility. In 2024, Exzeo Group earned approximately $35 million of pretax income, and we expect that number to grow significantly in 2025. Exzeo Group technology has demonstrated its ability to navigate in a catastrophe-prone world while significantly enhancing the profitability of its customers, which are currently the 4 insurance carriers under the HCI umbrella. But the need for this technology is only growing. So to fully embrace this opportunity, we want to make Exzeo Group a stand-alone entity so that it can do the same thing for other insurance companies in other geographies. Same vision, same management team, but fewer restrictions and a much bigger market TAM. And therefore, we are evaluating a range of strategic alternatives with the assistance of outside advisers to take advantage of this market opportunity. During this review, we intend to consider potential actions, solutions or structures that will unlock additional value for our shareholders, but we will not be entertaining a sale of the platform at this point. It's just too valuable. With that, I will turn it over for questions.