 There does feel like a difference, the Mariners going into the All-Star break with the lead in the division as opposed to being tied with the Astros, which could happen today. If the Mariners lost and the Astros won, there'd be a tie. So I think there is a psychological component to this, too, just in terms of, hey, we've got the lead going into the break. There's no question.