What if it's a draw in the Premiership play-offs?