Practically impossible, not logically impossible. "For all" proofs do exist in mathematics, but obviously it's very unlikely that you could do such a proof for

Practically impossible, not logically impossible. "For all" proofs do exist in mathematics, but obviously it's very unlikely that you could do such a proof for physical reality.