“push and pop” is another name for Push transition.