 Underdetermination Theorem (UT) for “naïve” HD-confirmation For any contingent \(h, e \in \bL\), if \(h\) and \(e\) are logically consistent, there exists some \(k \in \bL\) such that \(e\) HD-confirms \(h\) relative to \(k\). 