Question: Who starred in the Netflix series "Stranger Things" and the cancelled series "Proof"?

full_context: Document 1: Full Metal Jacket: Full Metal Jacket is a 1987 British-American war film directed and produced by Stanley Kubrick. The screenplay by Kubrick, Michael Herr, and Gustav Hasford was based on Hasford's novel "The Short-Timers" (1979). Its storyline follows a platoon of U.S. Marines through their training, primarily focusing on two privates, Joker and Pyle, who struggle to get through camp under their foul-mouthed drill instructor, Gunnery Sergeant Hartman, and the experiences of two of the platoon's Marines in the Tet Offensive during the Vietnam War. The film's title refers to the full metal jacket bullet used by soldiers. The film was released in the United States on June 26, 1987.
Document 2: Proof (rapper): DeShaun Dupree Holton (October 2, 1973 – April 11, 2006), better known by his stage name Proof, was an American rapper and actor from Detroit, Michigan. During his career, he was a member of the groups 5 Elementz, Funky Cowboys, Promatic, Goon Sqwad and most notably, D12. He was a close childhood friend of rapper Eminem, who lived on the same block, and was often a hype man at his concerts. In 2006, Proof was shot and killed during an altercation at the CCC nightclub in Detroit.
Document 3: Louie Provenza: Detective Lieutenant Louie Provenza is a fictional character from TNT's television crime drama franchise "The Closer"/"Major Crimes." He appeared on all seven seasons of "The Closer" and all six seasonable of "Major Crimes". The character was created by James Duff, and is portrayed by G. W. Bailey. Generally referred to as "Provenza", the character's first name was kept secret until his former partner, George Andrews, was heard to use it for the first time in the penultimate episode of the fifth season. It is said that only captains and above are allowed to address him by his first name and that even his own grandchildren call him "Lieutenant". He is also the only member of his academy class still on active duty with the rest having retired by the beginning of season 2 of "Major Crimes".
Document 4: The Producers (TV series): The Producers (; lit. Producer) is a 2015 South Korean sitcom starring Cha Tae-hyun, Gong Hyo-jin, Kim Soo-hyun, and IU. It aired on KBS2 from 15 May 2015 to 20 June 2015 on Fridays and Saturdays at 21:15 for 12 episodes.
Document 5: Proof (2015 TV series): Proof is an American drama television series that aired on TNT from June 16 through August 18, 2015. The series starred Jennifer Beals, Matthew Modine, and Joe Morton. It was produced by TNT, with Kyra Sedgwick, series creator Rob Bragin, Tom Jacobson, Jill Littman, and Alex Graves serving as executive producers. On September 24, 2015, TNT canceled the series of "Proof" after one season.
Document 6: Martin Sheen: Ramón Antonio Gerardo Estévez (born August 3, 1940), known professionally as Martin Sheen, is an American actor who first became known for his roles in the films "The Subject Was Roses" (1968) and "Badlands" (1973), and later achieved wide recognition for his leading role in "Apocalypse Now" (1979).
Document 7: Matt McKenzie: Matt McKenzie is an actor best known for his voicework in games and movies. He is the voice of Auron in the RPG games "Final Fantasy X", "Final Fantasy X-2", and "Kingdom Hearts II". He also provided the English voice of Borgoff in the movie "", Ptolemy in "", and Major Elliot in the animated movie "". McKenzie has also guest starred in some well-known movies ("Gods and Monsters" with Sir Ian McKellen, in which he portrayed Colin Clive) and TV shows such as "", "", "JAG", "7th Heaven", "That '70s Show", "The O.C." and recently 24 as Agent Hollister. He also had a cameo role in Clint Eastwood's "The Rookie" as Inspector Wang. He appeared in an episode of "House M.D." as Doctor Fedler, where he talks briefly with Robert Chase about the Beatles. Most recently he appeared on two episodes of AMC's "Mad Men" as Crab Colson. As well as the voice of various Agents in the Animatrix.
Document 8: Mad Men: Mad Men is an American period drama television series created by Matthew Weiner and produced by Lionsgate Television. The series premiered on July 19, 2007, on the cable network AMC. After seven seasons and 92 episodes, "Mad Men's" final episode aired on May 17, 2015.
Document 9: Kevyn Major Howard: Kevyn Major Howard is a Canadian actor best known for his role as "Rafterman" in Stanley Kubrick's "Full Metal Jacket" and as "The A-Team's" complex anti-hero, Marcus.
Document 10: Prison Break: Proof of Innocence: Prison Break: Proof of Innocence is a low-budget spin-off series of the American television series, "Prison Break". Made exclusively for mobile phones, its first mobisode became available on the internet for viewing on May 8, 2006. Due to the success of the Fox network's television series "Prison Break", the release of this mobisode series was an exclusive deal made between Toyota Motor and News Corporation's Fox network, allowing Toyota to sponsor exclusive content of the show and to obtain advertising exclusivity.
Document 11: Full Metal Jacket Diary: Full Metal Jacket Diary is a book written by American author, actor and photographer Matthew Modine and published by Rugged Land October 25, 2005. The book contains photos and diary entries of his experiences over a two-year period while working on the epic Stanley Kubrick film, "Full Metal Jacket".
Document 12: Mental (TV series): Mental (typographically stylized MƎNTAL:) is a television series produced by Fox's subsidiary Fox Telecolombia, which aired in the summer and fall of 2009 on FOX international channels for Latin America, Europe and Asia, starring Chris Vance and Annabella Sciorra. "Mental" was executive-produced by Deborah Joy LeVine – creator of the successful drama series "" and the Lifetime series "The Division", and executive producer of "Any Day Now", "Dawson's Creek" and the CBS series "Early Edition" – and her brother and writing/producing partner, Dan LeVine. Following its U.S. debut, it aired in 35 additional countries. Fox Latin America aired the first episode as a "Worldwide Premiere" on June 2, 2009. Fox aired the pilot episode on May 26, 2009 for the American market. Fox TV Studios ordered 13 episodes. It began production on June 2, 2008 at the Fox Telecolombia production facilities in Bogotá.
Document 13: Matthew Modine: Matthew Avery Modine (born March 22, 1959) is an American film actor who rose to prominence through his role as United States Marine Corps Private Joker in Stanley Kubrick's "Full Metal Jacket". His other well-known roles include Dr. Martin Brenner in "Stranger Things", the title character in Alan Parker's "Birdy", high school wrestler Louden Swain in "Vision Quest" and the oversexed Sullivan Groff on "Weeds".
Document 14: Tim Colceri: Tim Colceri (born June 15, 1951) is an American actor and comedian. He is most known for his role in the 1987 Stanley Kubrick film "Full Metal Jacket", where he played the door gunner who uttered the much-quoted lines "Get some!" (adopted as the byline for the 2008 movie "Tropic Thunder") and "Ain't war hell?" He Originally was cast to play Sergeant Hartman but was removed from the role in favor of R. Lee Ermey.
Document 15: R. Lee Ermey: Ronald Lee Ermey (born March 24, 1944), known professionally as R. Lee Ermey, or even Lee Ermey, is an American actor and voice actor, best known for his role as Gunnery Sergeant Hartman in "Full Metal Jacket", which earned him a Golden Globe Award nomination for Best Supporting Actor. He is a former United States Marine Corps staff sergeant and an honorary gunnery sergeant; during his tenure in the U.S. Marine Corps, he served as a drill instructor.
ground_truth: Matthew Modine