 Negative analogy. Let \(A\) stand for a list of propositions \(A_1 , \ldots ,A_r\) accepted as holding in \(S\), and \(B^*\) for a list \(B_1^*, \ldots ,B_s^*\) of propositions holding in \(T\). Suppose that the analogous propositions \(A^* = A_1^*, \ldots ,A_r^*\) fail to hold in \(T\), and similarly the propositions \(B = B_1 , \ldots ,B_s\) fail to hold in \(S\), so that \(A, {\sim}A^*\) and \({\sim}B, B^*\) represent accepted (or known) differences. Then we refer to \(A\) and \(B\) as the negative analogy.