Already 1 year after the first Moon landing, it was postulated that the accretion of the disc's debris would result in a Moon-wide magma ocean (Wood et al., 1970). Estimates of magma ocean depths range from 250 km to a completely molten Moon (e.g., Solomon, 1980;Warren, 1985). Recent models of the Moon's accretion in the wake of the giant impact suggest that accretion completed to >90% within months at 3,000-4000 K (Canup et al., 2015), that is, ∼1,000-2000 K above the temperature required for a fully molten Moon. Temperatures of >2,600-3700 K are also supported from Co and Ni partitioning between the metal and silicate fraction of the Moon (Steenstra et al., 2020). Furthermore, core segregation is most plausible for a full magma ocean, as metal droplet percolation through a solid or partially molten mantle is exceedingly slow (Bagdassarov et al., 2009).Fractional crystallization of this magma ocean is then thought to explain many of the observed rock types, in particular anorthosites and the structure of the lunar crust (Shearer et al., 2006;Wieczorek et al., 2006). The