It doesn't make much sense to me, why abstract has this transitions defined in the first place? I'm also not a big fan of having more definitions of the transition. I guess the idea is to restrict the transitions based on the phases. but I don't think it's worth from the readibility/understandinbility point of view