---

---

slide: The specification of a stack

---