Sally's company utilizes the installment sales method.
The installment sales method is the approach to recognize revenue under the US GAAP. In accrual accounting, revenues are recognized when they are realized. In cash accounting, revenues are recognized when cash is received. The US GAAP is the accounting standard developed and used by the US Securities and Exchange Commission. Sally works for the US Securities and Exchange Commission.
∀x (UsesGAAP(x) → UsesInstallmentMethod(x)) ∀x (UsesAccruralAccounting(x) → RecognizedWhen(revenues, realized)) ∀x (UsesCashAccounting(x) → RecognizedWhen(revenues, cashrecieved)) DevelopedBy(usgaap, ussecuritiesandexchangecommission) ∧ UsesGAAP(ussecuritiesandexchangecommission) WorksFor(sally, ussecuritiesandexchangecommission)