magma cools down when it comes to the surface from underneath
paving is spreading_stuff_onto_surface. magma is rock. earths_core is not magma. semigroup is magma. magma is not ver_hot. magma is ver_hot. gloeocapsa_magma is cyanobacterium. paving is not spreading_stuff_onto_surface. magma is not rock. earths_core is magma.