“…I shall often mix the two notations, i.e., more precisely: K, A J_ L, B/M, C is to mean that, for all K-states D, L-states E, and tog fS, A N D_I_ BN E/CA ~M. For proofs see, e.g., Dawid (1979) or Spohn (1980). In particular Theorem 2(e) will be important; this is a further reason for assuming a strictly positive probability measure.…”