Copy Share“To be is to be the value of a bound variable.”— Willard Van Orman QuineTags: logic, ontology