Four companies make all 72 of those vaccines, which is Pfizer, Glaxo, Merck