Sample scenario: 1. Sale.Open transitions to Sale.CardProcessing on SaleEvent.CardPayment with payment argument 2. Sale.CardProcessing state entry event needs payment argument to send to card processor 3. Sale.CardProcessor automatically forwards to Sale.Complete if card processing was successful and sale.Balance is now 0.