Inner oxygen distribution (abundance by mass) for the 0.593   M_⊙ white dwarf model at different evolutionary stages. The (red) dot-dashed line corresponds to the oxygen distribution before the occurrence of crystallization. The final oxygen profile when most of the white dwarf has crystallized is also shown for the phase diagram of Horowitz et al. (2010) – (blue) dashed line – and for the phase diagram of Segretain & Chabier (1993) – (black) solid line.