SOLD_OUT is the ticket machine state used when no tickets remain. The machine enters it after the customer takes the last ticket and has no transitions out of it. section 13.1
Last-ticket transition
After TICKET_SOLD decrements the count to zero, take_ticket() returns the SOLD_OUT state. A later card insertion produces “Game sold out” and “Remove your credit card.”
