Building submarines that don't leak