 It is worth stressing that it is, of course, absolutely essential that there be such a number as Nx : x = x; for it is impossible to imagine what sort of ground there could be for admitting Nx : x ≠ x if that were in doubt.