 Well, I guess it makes sense if you're thinking about it happening very slowly. And we're sort of thinking about it of what happens when you get a big rainstorm that comes up and floods everything. So I guess that begs the biggest question. How long does it take to drain the pond?