Hole in 3

Ryan Fox put his 1st into the brush.... hit a provisional.... that went in the hole- for a 3

So, what do you think he has to do with his first ball? Does he need to look for it, or can he just declare it lost.... or is it automatically declared lost when he removes his provisional from the hole?

https://video.twimg.com/amplify_video/886609361828626432/pl/hcj8MXVrDcxsNzei.m3u8