Extraction of basaltic magmas at mid-ocean ridges is one of the main differentiation processes on Earth, and it has important bearings on crustal evolution, plate dynamics, especially subduction and the possible detachment of slab components.