You don't need an app to enter the store. You need an app to shop at the store. Presumably many classes of person enter the store for various non-shopping reaso

You don't need an app to enter the store. You need an app to shop at the store. Presumably many classes of person enter the store for various non-shopping reasons without needing the app. It's not beyond the bounds of reason to imagine that for the non-shopping purpose of returning an unrelated item you may not need the shopping app to enter the store -- or, indeed, to imagine that for the product return flow the shoppers' entrance may not factor into the equation at all. (I don't have a horse in this race, I just don't think you can usually apply the transitive property to the real world.)