Both players have 5 points each after 10 games. There are four games left before we have to resort to tie-breaks ...