“navigation push” is another name for Push transition.