“From falsehood you can infer truth, but from truth you can never infer falsehood.” The basis of propositional logic.