 I guess seeds are supposed to go towards a transportation fund. And I'm going to say that I already learned my lesson from the casinos. So with that being the case, I don't believe any allocation statements about where proceeds or anything is going to go until we actually see it happen because the schools are still in the condition that they're in. And I'm pretty sure three years after this,