pull down to refresh

Logic can narrow possibilities, but proof is a different thing.