If a submarine leaks, the crew is likely to die