Simplify TUCK and OVER.