exactly as JoshGrams explained, and no, that inference doesn't require the difference you mentioned. I'll try to make it more clear and general by using...