to circle the pool.