A formal model of allowed transitions. "An invoice can go from Draft → Sent → Paid, but not Draft → Paid directly." State machines make multi-step workflows enforceable, not just hopeful.
Their order system used a state machine, so an order couldn't be shipped before it was paid.
