 Let us posit a set \(\bP\) of probability functions representing possible states of belief about a domain that is described in a finite language \(L\) with \(\bL\) the set of its closed sentences. From now on, unless otherwise specified, whenever considering some \(h, e, k \in \bL\) and \(P \in \bP\), we will invariably rely on the following provisos: