Proving a negative Evidence of absence Modus tollens Philosophic burden of proof Proof of impossibility Russell's teapot