A man in a swimming pool does the butterfly stroke.