Shouldn't we call the lava that's underground magma? Or should we simply call them all lava? — The preceding unsigned comment was added by IGGY7735 (talk).