https://researchpedia.info/difference-between-magma-and-lava/