What states that two things are not necessarily the same just because no difference can be identified