Las variables de la cuantificación, "algo", "nada", "todo", abarcan toda nuestra ontología, sea cual sea; y estamos condenados por un presupuesto ontológico particular si, y sólo si, el supuesto presupuesto tiene que contarse entre las entidades sobre las que abarcan nuestras variables para que una de nuestras afirmaciones sea verdadera.