That's just a local "if" statement, where you assume something to be true based on local information.

You wouldn't actually know if a dingo ate the envelope unless you check it. The information to confirm your assumption is still in Australia.