 Consistency condition (Cons)  For any \(h, h^*,e, k \in \bL\) and any \(P \in \bP\), if \(k \vDash \neg(h\wedge h^*)\) then \(e\) confirms \(h\) given \(k\) if and only if \(e\) disconfirms \(h^*\) given \(k\). 