Can we rename `real_teams` to `team_nums` and `teams` to `team_keys`?