Original: In 2007, the band officially changed its name first to "The Tensions Mountain Boys" and then "Punch Brothers."
Simplified: In 2007, the band changed its name twice: first to "The Tensions Mountain Boys" and then "Punch Brothers."