 Even if Frege somehow could have successfully restricted the quantifiers of Gg to avoid the Julius Caesar problem, he would no longer have been able to apply his system by extending it to include names of ordinary non-logical objects. For if he were to attempt to do so, the question, “Under what conditions is \(\epsilon F\) identical with Julius Caesar?”, would then be legitimate but have no answer. That means his logical system could not be used for the analysis of ordinary language. But it was just the analysis of ordinary language that led Frege to his insight that a statement of number is an assertion about a concept.