  The Empirical Premise is just an existential generalization of this conclusion. This is an example of a kind of inference that has come to be called the “Noseeum Inference” after the bugs in the Midwest which are so small one never seems to find them in one's tent, even when one knows they're there (Wykstra 1996). Here is why that name has been applied. Skeptical theists point out that absence of evidence is not always evidence of absence. Some entities are such that their presence is expected to be detected, others their presence is not expected to be detected. If there were a grizzly bear in one's camp, one expects to find it, so not seeing one is evidence one is not there. But it is otherwise with small bugs. One's not seeing them in one's camp is not good evidence that they are not there. Below, much attention will be focused on reasons to think that God's reasons should be detected.