== Constants ========================================================
== TeX ==============================================================
-A stack ship with capacity for at least 32 elements.
+A stack ship with capacity for at least 16 elements.
Push operations are executed as soon as an inbound datum is delivered
to the {\tt push} port. Completion of a push can be confirmed by
-sending a {\tt notify} token from the {\tt push} port.
+sending a token from the {\tt push} port after {\tt deliver}ing.
Pop operations are executed no earlier than the time at which the {\tt
pop} port attempts to {\tt take} data from the ship.