 We appreciate you sharing that story. And obviously, it's a story that we all know plays out for so many other people on a daily basis, which is what makes getting this up and running so important. And that is a process that is still in progress with, as you mentioned earlier, the official start date for people to start accessing these benefits in January of 2026. Do you have a sense of how that implementation process is going?