How do we know that it rains diamonds on Jupiter? In fact, how do we calculate elemental density on any planet for that matter?