Task: Question Answering
Input (English): passage: The winner of a number of accolades, Verlander is a six-time MLB All-Star, has led the AL in strikeouts four times and in wins twice. He was the AL Rookie of the Year in 2006, and on June 12, 2007, pitched the first no-hitter at Comerica Park, versus the Milwaukee Brewers. In 2009, he led the AL in wins and strikeouts, both for the first time. Verlander produced his most successful season in 2011, including his second career no-hitter versus the Toronto Blue Jays on May 7, 2011. By season's end, Verlander won the Pitching Triple Crown, the AL Cy Young Award unanimously, the AL Most Valuable Player (MVP) Award, and the Sporting News Player of the Year Award. On August 31, 2017, the Tigers traded Verlander to the Astros, with whom he won the 2017 World Series over the Los Angeles Dodgers, giving him his first career ring. For his performance in the 2017 American League Championship Series, he was named MVP.
 question: does justin verlander still play for the tigers?
Output (English): No