Two forms of existential proposition are identified, one favoured by analytical philosophers, one by Thomists. It is argued, against objections, that both forms were recognized and used by Thomas. A useful way of labelling this point is to speak of the distinction between esse ut verum and esse reale: being in the sense of the true, the analytical notion, on the one hand, and the Thomist notion of actual or real existence on the other. The former is best expressed by a second-level predicable, the latter by a first-level predicable. Both express a valid notion which is fittingly called ‘existential’, and both are, indeed, analogically connected in meaning.