 Mixed quantification introduces an interesting wrinkle. The propositions expressed with ‘\(\exists x \forall y [L(x, y)]\)’ and ‘\(\forall y \exists x [L(x, y)]\)’ differ. We can paraphrase the first as ‘there is someone who likes everyone’ and the second as ‘everyone is liked by someone or other’. The second follows from the first, but not vice versa. This suggests that ‘someone likes everyone’ is ambiguous, in that this string of English words can be used to express two different propositions. This in turn raises difficult questions about what natural language expressions are, and how they can be used to express propositions; see  section eight.  But for Frege, the important point concerned the distinction between the propositions (Gedanken). Similar remarks apply to ‘\(\forall x \exists y [L(x, y)]\)’ and ‘\(\exists y \forall x [L(x, y)]\)’.