All along, that has been Diamond's MO, from the beginning. They don't like the whole owners, they don't like the restaurant, bar and shop operators. I wonder whether they will finally succeed in getting rid of the operators of the restaurant and bar. If so, that will be at least one good thing from all this delay.