That is a very good point. I'm not necessarily opposed to their names being mentioned personally, but you're right that had they not been mentioned, those peoples lives might be quite a bit less stressful.