push logic

Understanding Push Logic