let
get_team_size t = !(t.size)