Yes. Just quickly, the compensation fund, in my opinion, mirrors an insurance fund. I really think this question ought to be answered by actuaries, who calculate these kinds of things for catastrophic events and whatnot. That will nail down how much there ought to be in the fund. We can kind of estimate, but we don't know. An actuary will figure that out.
On May 7th, 2019. See this statement in context.