the pool was emptied