[N.B. In 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 forms of the y being what expressing fact that the y symbolises, expressing what we mean.]