Input (grade 7): In 2007, the band officially changed its name first to "The Tensions Mountain Boys" and then "Punch Brothers."
Output (grade 6): In 2007, the band changed its name twice: first to "The Tensions Mountain Boys" and then "Punch Brothers."