 Predictive inference condition (PIC)  For any \(e, k \in \bL\), if \(e\) confirms \(\forall x(Fx \rightarrow Gx)\) relative to \(k\), then \(e\) confirms \(F(a) \rightarrow G(a)\) relative to \(k\). 