A boy in a lap pool swims to one end of the pool.