Last week, Mayor Muriel Bowser imposed a new mask mandate in Washington, D.C. Beginning at 5 a.m. on July 31, both the vaccinated and the unvaccinated would have to wear masks indoors.

For the vaccinated, this was an irritating imposition, given that only four people in the district had died from the coronavirus for the entire mask-free month leading up to it.