 Let L be a language for predicate logic with identity, and let ‘\(\vDash\)’ be the standard logical entailment relation—i.e., the expression ‘\(B \vDash A\)’ says “B logically entails A” and the expression ‘\(\vDash A\)’ says “A is a tautology”. A support function is a function \(P_{\alpha}\) from pairs of sentences of L to real numbers that satisfies the following axioms: