The distribution of the mean densities of the planets around M stars, in which the different types of planets (rocky planets, water-worlds and mini-Neptunes) can be clearly distinguished. Credit: IAC