 Specifically, then, a quantified expression, since it talks about (presupposes) “all” the members of a totality, must express a member of a different, higher, logical type than those members in order to observe the vicious circle principle. Thus, when interpreting a bound variable, we must assume that it ranges over a specific type of entity, and so types must be assigned to the other entities represented by expressions in the formula, in observance with the theory of types.