mnli premise: In that case, Customs must stamp the receipt, and you must return it to the shop by mail upon arriving home. hypothesis: If that happens, you have to mail it back to the store when you get home.