 By being aware that the concept-numerosity thought on the right can be rendered equivalently (in the extended language) as the number-committal thought on the left, one comes to recognize numbers as abstract, logical objects. In the extended language, their existence can be established on purely logical grounds. 