Some planets may have diamond mantles instead of rocky ones. — Synthesis