Number of the day: employer vaccine mandates