premise: The standard also requires deferred revenue to be recognized when a forfeiture judgment is obtained, but the deferred revenue is reversed when revenue is recognized.
hypothesis: Forfeiture judgments should be obtained from a district court and filed with the IRS.