The other edges have annotations showing the state of the 2 variables during that transition. I know the state doesn't really change for this one, but it would be good to be consistent.