I see how this maps to the code but I am still confused how it reaches this case.