Reduction in context and standard reduction.
make push