I was just talking about this a few days ago with my grandson.
About carrying a rope when out for just anything, but especially for saving someone or yourself.
My friends sister had a birthday cookout kinda far out in the boonies in the nineties I remember.
I didn't go. But he said it was a party thing, cooking steaks and alot of beer drinking.
There was a water cache for runoff. Lots if birds and animals, cattle would come to drink water and forage. People would come to hunt, hike and gather firewood, and have cookouts. When I was older we used to drink and shoot targets, it was way out.
Anyway, there was a water pond next to it like a big sump pit with a pipe from spillway cache that fills the pit
It's walls were clay and steep angles.
A guy got drunk enough to think jumping in and swimming across it was easy, macho guy.
He got so far and got cramps from the cold water and couldn't get back to the bank. Guys with him couldn't swim and knew how deep it was.
So the guy drowned. Went under and never came up.
It took a dive rescue team 3 days to make it out there. Second day of search they found him.
It looked like he was trying to crawl up the side from underwater. His hands we re still clutching mud like he was climbing.
Someone with a hundred foot of cheap paracord could have saved him.
Or he could have saved himself by tie rope to a tree base before he went in water just in case.
Op case shown, idk, maybe the girl could have been tied to a anchor before she jumped? She looks light enough.