Wonder what we're talking about in terms of incidence rate and severity. It clearly seems like people with a history of allergies should avoid it for now. Just curious if this is a 1 in 100,000 kind of deal or much more frequent than that. And whether it's something that is a real danger or something that can be managed pretty easily.