Proficient swimmers do laps in an indoor swimming pool together.