Consider two relations describing teams and players in a sports league:
teams(tid, tname): tid and tname are team-id and team-name, respectively.
players(pid, pname, tid): pid, pname, and tid denote player-id, player-name, and the team-id of the player, respectively.
Which one of the following tuple relational calculus queries returns the name of the players who play for the team having tname as 'MI'?