pull down to refresh

I believe there's two solutions for this, 1 and -1

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

reply