Convection in the presence of a first-order phase change.