Rocky Laval and magma planet surface