Swimming in a pool