 If the symbol a is to designate an object for us, then we must have a criterion that decides in all cases whether b is the same as a, even if it is not always in our power to apply this criterion. (Frege 1884, trans. Beaney 1997: 109) 