· The ocean basins are leaky as containers, because the volcanic rocks of ocean crust are porous and permeable (permeabilities 10 − 9 to 10 − 10 m 2; Fisher, 2003, Becker and Davis, 2004, Becker et al., 2004) and subduction zones transport water into the mantle (Meade and Jeanloz, 1991).