Representing a number and instantiating it are distinct: finite symbols can denote infinite numbers ...