 The Falsification Theorem is quite commonsensical. First, notice that if there is a crucial experiment in the evidence stream, the theorem is completely obvious. That is, suppose for the specific experiment \(c_k\) (in evidence stream \(c^n)\) there are two incompatible possible outcomes \(o_{kv}\) and \(o_{ku}\) such that \(P[o_{kv} \pmid h_{j}\cdot b\cdot c_{k}] = 1\) and \(P[o_{ku} \pmid h_{i}\cdot b\cdot c_{k}] = 1\). Then, clearly, \(P[\vee \{ o_{ku}: P[o_{ku} \pmid h_{j}\cdot b\cdot c_{k}] = 0\} \pmid h_{i}\cdot b\cdot c_{k}] = 1\), since \(o_{ku}\) is one of the \(o_{ku}\) such that \(P[o_{ku} \pmid h_{j}\cdot b\cdot c_{k}] = 0\). So, where a crucial experiment is available, the theorem applies with \(m = 1\) and \(\delta = 1\).