Being a Pinnacol policyholder pays off in dividends. In fact, we provided $50 million in general dividends to our customers in 2022 and have decreased rates for 7 years in a row.