“…If the mass fraction of light elements in the core is χ S , the core's bulk density (neglecting compression, which is discussed in Section 2.2) is given by where we use the subscript S because we assume sulfur to be the principal light element species in the Martian core (Franz et al., 2019; Gaillard & Scaillet, 2009), and where ρ Fe and ρ S are the densities of the major and minor species (assumed to be iron and sulfur), respectively. Neglecting the small density differences between the solid and liquid forms of both the major and minor species (i.e., assuming ρ Fe, sol = ρ Fe, liq = 6,980 kg/m 3 and ρ S,sol = ρ S,liq = 1,819 kg/m 3 ), we can approximate the light element‐enriched liquid density using where, assuming small control volumes partition into equal parts solid and liquid by mass, it can be shown that is the mass fraction of light elements in the residual liquid, where D S is the solid‐liquid phase partitioning coefficient for the light elements (i.e., the mole fraction of light elements that partition into the solid phase vs. the liquid phase) (Zhang et al., 2020). Note that if sulfur partitions into the solid and liquid phases in equal proportions (i.e., if D S = 1), then ρ χ remains the same as the bulk core density and Δ ρ χ = 0; if sulfur partitions preferentially into the liquid, then D S < 1 and ρ χ < ρ c so the residual liquid is positively buoyant.…”