Healthcare workers' higher viral exposure means vaccination yields greater marginal benefit anyway, ...