So at the end there will be 2 separate casinos owned by the same company? It's hard to keep up with all that is going on in Ohio and casino gambling.