Doubleheaders were once fairly common in the major leagues before falling out of favor with penurious baseball owners, until 2020, the year we not only got more doubleheaders, but shorter, quirkier, home-and-home doubleheaders.
First, there was the seven-inning opener. This was the first time the Nationals have played a game shortened by the current rules, rather than the weather or some other external factor.
Rules quiz: If a pitcher has to complete five innings to qualify for a win in a nine-inning game, how many innings does he have to pitch to qualify for a win in a seven-inning game?