Patrick has a coupon for free ice cream, but if he wants to use it, he has to enter the store.