Quickly, Mike, do you have any comment on what further we ought to be doing in terms of protecting health care workers globally?
We've both worked internationally in health care. Are health care workers in developing countries getting the vaccine and getting protected?