With other people in the swimming pool, a man is doing a butterfly stroke.