 where it is understood that the variables range over humans. For another example, when defining division, we may explicitly set down as a condition on the definition that the divisor not be 0. We may stipulate that