Two names refer to the same planet, but an observer understands one name and does not know that the other name has the same bearer. Which distinction most directly explains how an identity statement connecting the names could still be informative?