 Confirmation upon irrelevant conjunction (ordinal solution) (CIC)  For any \(h, e, q, k \in \bL\) and any \(P \in \bP,\) if \(e\) confirms \(h\) relative to \(k\) and \(q\) is irrelevant for \(h\) and \(e\) relative to \(k\), then  \(\ \ \ C_{P}(h, e\mid k) \gt C_{P}(h \wedge q, e\mid k).\) 