 Following Anselm, we might say that, since you understand the expression “smallest really existent Martian”, there is, in your understanding, at least one smallest really existent Martian. (Or, apparently following Descartes, one might say that real existence is “part of”—or “contained in”—the idea of a smallest really existent Martian.) However, in saying this, it must be understood that we are not actually predicating properties of anything: we aren’t supposing that there is something which possesses the properties of being a Martian, really existing, and being no larger than any other Martian. (After all, we can safely suppose, we don’t think that any Martians really exist.) In other words, we must be able to have the concept of, or entertain the idea of, a smallest really existing Martian without believing that there really are any smallest Martians. Indeed, more strongly, we must be able to entertain the concept of a smallest really existent Martian—and to recognise that the property of “really existing” is part of this concept—while nonetheless maintaining that there are no smallest existent Martians.