premise: Michael Vick has a middle name.
hypothesis: Michael Dwayne Vick ( born June 26 , 1980 ) is a former American football quarterback who played 13 seasons in the National Football League , primarily with the Atlanta Falcons and the Philadelphia Eagles .