Distinct product tokens are core to the function of IF because they maintain separation between different economic systems with different purposes. As a result, incentives for each product are easier to reason about, preventing conflict between independent economics.