a pool is for diving