Such conditions deep within the earth produce diamonds, which are brought to the surface in eruptions of molten magma through kimberlite, or volcanic, pipes.
The ore, known as kimberlite, is dug or blasted from mines; the deposits are then crushed and boiled in grease and water to separate the diamonds.
The lava was kimberlite, named after Kimberley, South Africa, and as it disintegrated, it released a few diamonds.