A man swims from one end of the pool to the other.