 The “determination rule” analysis provides a clear and simple justification for analogical reasoning. Note that, in contrast to the Aristotelian analysis via the generalization \(\forall x(P(x) \supset Q(x))\), a determination rule does not trivialize the analogical argument. Only by combining the rule with information about the source domain can we derive the value of \(Q(T)\). To illustrate by adapting one of the examples given by Russell and Davies  (Example 16),  let’s suppose that the value \((Q)\) of a used car (relative to a particular buyer) is determined by its year, make, mileage, condition, color and accident history (the variables \(P_i)\). It doesn’t matter if one or more of these factors are redundant or irrelevant. Provided two cars are indistinguishable on each of these points, they will have the same value. Knowledge of the source domain is necessary; we can’t derive the value of the second car from the determination rule alone. Weitzenfeld (1984) proposes a variant of this approach, advancing the slightly more general thesis that analogical arguments are deductive arguments with a missing (enthymematic) premise that amounts to a determination rule.