pull down to refresh

that doesn't matter... if that last game ends up in a draw as well, you're at 7.5-7.5 and still gotta play a tiebreak of sorts.