 (P2) Local equivalence  For any \(h_{1},h_{2},e,k \in \bL\) and any \(P\in \bP\), if \(h_{1}\) and \(h_{2}\) are logically equivalent given \(e\) and \(k\), then \(C_{P}(h_{1},e\mid k) = C_{P}(h_{2}, e\mid k).\) 