One can describe the world completely by completely generalized propositions, i.e., without from the outset co-ordinating any name with a definite object. In order then to arrive at the customary way of expression we need simply say after an expression “there is one and only one x, which ....”: and this x is a.