There doesn’t really need to be a total leaderboard of all players, but a rank out of total # of players is a nice way to measure progress alongside elo going up :D