[dependenttypes]

You have to also account for the people who will survive but end up with some sort of permanent health damage due to it.