Let us reluctantly postulate a processor, with a pushdown accumulator stack S. Introducing appropriate stacking and unstacking operators, we say that Sh (the head of S) is the contents of the top cell of S; that St, (the tail of S) is the remainder of S, the value S would have if the stack were popped; and x: S is the value S would have if x were stacked on S.