Sampled one- and two-dimensional marginal posterior for interior parameters of the dry case: (panel a) surface pressure P_batm, (panel b) mean molecular weight μ, (panel c) α, (panel d) water mass fraction m_water/M_p, which is always zero in the dry case, (panel e) size of rocky interior r_mantle+core∕R_p, (panel f) relative core size r_core/r_mantle+core, (panel g, h) mantle composition in terms of Fe∕Si_mantle and Mg ∕Si_mantle. The prior distributions are shown in dashed blue.