@ilyamikcoder "Magma that is extruded as lava is extremely dry, but magma at depth and under great pressure can contain a dissolved water content in excess of 10%"
-- https://en.wikipedia.org/wiki/Magma