Some planets produce diamond rain.