[N.B. In the expression (∃y). φy, one is apt to say this means ‘There is a thing such that …’. But in fact, we should say ‘There is a y, such that … ’; the fact that the y symbolises, expressing what we mean.]