transitions are properly sorted