step: if two things have different features then those two things are different & if things can be identified as different because of something then they are distinguishable by that something
inference: things are distinguishable by their features