Magma is a funny word.