From your book: The Replay Check
One command, one token

Help me sort the first command and its repeated copy.
Read together
The model accepts command 5 after 4 and marks 5 used. One blue paper token comes out. A repeat of 5 is blocked; no second token comes out.
