completed pushdown.