 again played on a structure with elements 0 and 1. Intuitively one might think that if \(\exists\) isn’t allowed to remember at the second quantifier what she chose at the first, then she can hardly have a winning strategy. But in fact she has a very easy one: ‘Always choose 0’!