 For example, the propositions [Wellington predeceased Napoleon] and [Napoleon predeceased Wellington] are incompatible when all occurrences of [Napoleon] and [Wellington] are considered uniformly variable, but compatible when [predeceased] is varied in both propositions, since the substitution [fought] for [predeceased] produces two true propositions. (Here, we have to do with the forms ‘ \(\mathbf{A}\) predeceased \(\mathbf{B}\)’ and ‘ \(\mathbf{B}\) predeceased \(\mathbf{A}\)’ in the first case, and ‘Napoleon R Wellington’ and ‘Wellington R Napoleon’ in the second.)