A man is swimming laps at the pool.