"His modelling also allows for a deep liquid water ocean saturated with gases such as carbon dioxide (CO2)." . . . .