 Terminological note: ‘\(A\)’ is called the antecedent and ‘\(B\)’ the consequent ‘predicate’. In terms of quantitative variables \(X\), the predicate formula \(A(d)\) may express, for example, that \(d\) has a certain \(X\)-value \(x\), or has changed its \(X\)-value from \(x_1\) to \(x_2\).