Premise: Dream Theater is an American progressive metal band formed in 1985 under the name Majesty by John Petrucci , John Myung , and Mike Portnoy while they attended Berklee College of Music in Boston , Massachusetts . Mike Portnoy . From A Change of Seasons onwards , Portnoy had been writing a significant amount of Dream Theater 's lyrics .
Hypothesis: Dream Theater had Mike Portnoy in it.
Label: ENTAILMENT