step: eukaryotes are a kind of thing & if things can be identified as different because of something then they are distinguishable by that something
inference: if eukaryotes can be identified as different because of something then they are distinguishable by that something