pull down to refresh

I concur, but I don’t know how to prove it