let
get_team_num t = t.num