 (∗), that is, would have been true no matter what “God” and “Socrates” refer to. If anything, then, names obscure the grounds of logical truth. Hence, the discerning logical eye sees name occurrences in the likes of (\(*\)) as implicitly quantified variables and, hence, sees the completely general logical form that underlies  it:[59]