@Dingsextrem If we are not discussing pure mathematics, there is no true zero in real life—only values that are nearly zero. What seems nearly zero can easily become nonzero if the underlying assumptions, including both scientific and social factors, change. Therefore, we must adopt a conservative approach, especially when human life is involved. Especially for mines.