On the other hand, more recent work on quantifiers suggests that the divergence had been exaggerated, in part because of how Frege’s idea of variable-binding was originally implemented. Consider again the proposition that some boy sang, and the proposed logical division into the quantifier and the rest: \(\exists x [\textrm{Boy}(x) \land \textrm{Sang}(x)]\); something is both a boy and an individual that sang. This is one way to regiment the English sentence. But one can also offer a logical par