Picture Omitted

slide: The specification of a stack