Patio installs between the pool and the lake.